how to solve four variable k-map